package FlowGraph.EdgeInfo;

//////////////////////////////////////////////////////////////////////////
//// IfBranchEdge
/**

@author Ivan Jeukens
@version v 0.1 17/07/2002
*/
public class IfBranchEdge extends EdgeInfo {

    public IfBranchEdge(boolean isThen) {
        super(EdgeInfo.IFBRANCH);
        _isThen = isThen;
    }

    ///////////////////////////////////////////////////////////////////
    ////                        public methods                     ////

    public boolean isThen() {
        return _isThen;
    }
    
    public boolean isElse() {
        return !_isThen;
    }

    ///////////////////////////////////////////////////////////////////
    ////                      private variables                    ////

    private boolean _isThen;
}
